To fold, first unfold

To fold, first unfold

The double-ringed GroEL chaperone complex is well-known for capturing partially folded proteins and confi ning them within its central cavity to facilitate folding. GroEL is especially important to proteins that have a complex folding pattern, such as Rubisco. A prominent model of GroEL function suggests that the chaperone fi rst partially unfolds its substrate, disrupting misfolded and inhibit...

Constructively Characterizing Fold and Unfold

In this paper we formally state and prove theorems characterizing when a function can be constructively reformulated using the recursion operators fold and unfold, i.e. given a function h, when can a function g be constructed such that h = fold g or h = unfold g? These results are refinements of the classical characterization of fold and unfold given by Gibbons, Hutton and Altenkirch in [6]. Th...

Enhancing Partial Deduction via Unfold/Fold Rules

We show that sometimes partial deduction produces poor program specializations because of its limited ability in (i) dealing with conjunctions of recursively deened predicates, (ii) combining partial evaluations of alternative computations, and (iii) taking into account unii-cation failures. We propose to extend the standard partial deduction technique by using versions of the deenition rule an...

Perfect Model Checking via Unfold/Fold Transformations

Binding-time Improvement and Fold/Unfold Transformation

Binding-time improvement (BTI) is an important preliminary stage in partial evaluation. Some BTI rules can be automated, but the state of the art is that many improvements are still made \by hand" using an ordinary text editor. Mechanically assisted fold/unfold transformation could provide a more systematic framework for BTI.